Merge sort

Results: 170



#Item
21Similarity in Computer Programs  Concretely, recall the SCO vs. IBM lawsuits from a few years back (see, e.g., Raymond and LandleyAt issue was whether IBM, a licensee of some of SCO!s source  Abstract

Similarity in Computer Programs Concretely, recall the SCO vs. IBM lawsuits from a few years back (see, e.g., Raymond and LandleyAt issue was whether IBM, a licensee of some of SCO!s source Abstract

Add to Reading List

Source URL: philosopher-animal.com

Language: English - Date: 2007-03-02 08:19:53
22Cache-Oblivious Red-Blue Line Segment Intersection Lars Arge1,? , Thomas Mølhave1,?? , and Norbert Zeh2,? ? ? 1  2

Cache-Oblivious Red-Blue Line Segment Intersection Lars Arge1,? , Thomas Mølhave1,?? , and Norbert Zeh2,? ? ? 1 2

Add to Reading List

Source URL: users.cs.duke.edu

Language: English - Date: 2015-07-24 06:57:56
23CS264: Beyond Worst-Case Analysis Lecture #1: Three Motivating Examples∗ Tim Roughgarden† September 22,

CS264: Beyond Worst-Case Analysis Lecture #1: Three Motivating Examples∗ Tim Roughgarden† September 22,

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-11-02 12:29:21
24Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ ander University of Bonn  October 18th, 2010

Knuth’s 0-1-Principle and Beyond Janis Voigtl¨ ander University of Bonn October 18th, 2010

Add to Reading List

Source URL: www.janis-voigtlaender.eu

Language: English - Date: 2016-08-01 05:50:10
25Practical Massively Parallel Sorting – Basic Algorithmic Ideas Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz arXiv:1410.6754v1 [cs.DS] 24 Oct 2014

Practical Massively Parallel Sorting – Basic Algorithmic Ideas Michael Axtmann, Timo Bingmann, Peter Sanders, and Christian Schulz arXiv:1410.6754v1 [cs.DS] 24 Oct 2014

Add to Reading List

Source URL: panthema.net

Language: English - Date: 2014-10-27 01:32:39
26Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015

Counter-Example Complete Verification for Higher-Order Functions N. Voirol, E. Kneuss, V. Kuncak EPFL Scala Symposium 2015

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2015-06-14 21:40:26
27Algorithm selection by rational metareasoning as a model of human strategy selection Falk Lieder Helen Wills Neuroscience Institute, UC Berkeley

Algorithm selection by rational metareasoning as a model of human strategy selection Falk Lieder Helen Wills Neuroscience Institute, UC Berkeley

Add to Reading List

Source URL: cocosci.berkeley.edu

Language: English - Date: 2015-05-01 19:34:35
28Introduction to Algorithms Lecture 10 Prof. Piotr Indyk

Introduction to Algorithms Lecture 10 Prof. Piotr Indyk

Add to Reading List

Source URL: courses.csail.mit.edu

Language: English - Date: 2011-03-31 12:24:56
29October 15, Fall 2008 Quiz 1 Introduction to Algorithms Massachusetts Institute of Technology

October 15, Fall 2008 Quiz 1 Introduction to Algorithms Massachusetts Institute of Technology

Add to Reading List

Source URL: courses.csail.mit.edu

Language: English - Date: 2009-05-07 21:09:20
30March 12, Spring 2008 Quiz 1 Solutions Introduction to Algorithms Massachusetts Institute of Technology

March 12, Spring 2008 Quiz 1 Solutions Introduction to Algorithms Massachusetts Institute of Technology

Add to Reading List

Source URL: courses.csail.mit.edu

Language: English - Date: 2009-05-07 21:09:21